Decidable Reasoning over Timestamped Conceptual Models
نویسندگان
چکیده
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an embedding of the conceptual model into the description logic S5ALCQI . Hardness is obtained by reducing a fragment of S5ALCQI , namely S5ALC with global roles only, to ERV T .
منابع مشابه
Reasoning with enhanced Temporal Entity-Relationship Models (Preliminary Report)
Recent efforts in the Conceptual Modelling community have been devoted to properly capture time-varying information. Various temporally enhanced Entity-Relationship (ER) models have been proposed that are intended to model the temporal aspects of database conceptual schemas. This preliminary work gives a logical formalisation of the various properties that characterise and extend different temp...
متن کاملInformation Integration: Conceptual Modeling and Reasoning Support
Information Integration is one of the core problems in cooperative information systems. We argue that two critical factors for the design and maintenance of applications requiring Information Integration are conceptual modeling of the domain, and reasoning support over the conceptual representation. In particular, we present a general architecture for Information Integration that explicitly inc...
متن کاملA Description Logic of Change
We combine the modal logic S5 with the description logic (DL) ALCQI . The resulting multi-dimensional DL S5ALCQI supports reasoning about change by allowing to express that concepts and roles change over time. It cannot, however, discriminate between changes in the past and in the future. Our main technical result is that satisfiability of S5ALCQI concepts with respect to general TBoxes (includ...
متن کاملReasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relationship (ER) exist. This work gives a logical formalisation of the various properties that characterise and extend different temporal ER models which are found in literature. The formalisation we propose is based on Descr...
متن کاملFoundations of Data Warehouse Quality Information Integration: Conceptual Modeling and Reasoning Support
Information Integration is one of the core problems in cooperative information systems. We argue that two critical factors for the design and maintenance of applications requiring Information Integration are conceptual modeling of the domain, and reasoning support over the conceptual representation. In particular, we present a general architecture for Information Integration that explicitly inc...
متن کامل